\begin{forest}
 parse tree
 [$\neg (\neg P \to (Q \lor R))$
  [$\neg P \to (Q \lor R)$
   [$\neg P$ [$P$]]
   [$Q \lor R$
    [$Q$]
    [$R$]
   ]
  ]
 ]
\end{forest}
